home
***
CD-ROM
|
disk
|
FTP
|
other
***
search
/
CD ROM Paradise Collection 4
/
CD ROM Paradise Collection 4 1995 Nov.iso
/
misc
/
cabern.zip
/
EXAMPLES
/
CONS.NET
< prev
next >
Wrap
Text File
|
1994-09-08
|
3KB
|
75 lines
(TimedNet$cons10#
(TimedPlace$Producer_ready896#576#100#2#1#1#0#;1timed_int)
(TimedPlace$Producer_after_communication896#1792#100#2#1#2#1#
(TimedToken$Tk3T00#);1timed_NKvoid)
(TimedPlace$Consumer_ready2624#576#100#2#1#3#1#
(TimedToken$Tk2T00#);1timed_NKvoid)
(TimedPlace$Consumer_after_communication2624#1792#100#2#1#4#0#;1timed_int)
(TimedTransition$produce320#1152#100#1#1#5#TRUEstruct timeb buffer;
ftime(&buffer);
srandom((int)buffer.millitm);
Producer_ready.value=(int)(random() % 300);
cerr << Producer_ready.value << endl;enab + 2.5enab + 3STRONG)
(TimedTransition$communicate1792#1152#100#1#1#17#TRUEConsumer_after_communication.value=Producer_ready.value;Producer_ready.time + 3Producer_ready.time + 8STRONG)
(TimedTransition$consume_wk3456#1152#100#1#1#7#TRUEstat.value.count3++;enab + 3enab + 5WEAK)
(TimedPlace$stat3219#1442#100#2#1#8#1#
(TimedToken$Tk10
0
0T00#);1timed_my_record)
(TimedTransition$consume_even2944#1152#100#1#1#9#(Consumer_after_communication.value %2 ==1)stat.value.count2++;enab + 5enab + 20STRONG)
(TimedTransition$consume_odd2432#1152#100#1#1#10#(Consumer_after_communication.value %2 ==0)stat.value.count1++;enab+18enab+18STRONG)18#
(Arc$A1320#576#0#0#0#0#0#0#20#0#1#8^2^1)
(Arc$A21600#576#0#0#0#0#0#0#20#0#1#2^9^1)
(Arc$A31920#576#0#0#0#0#0#0#20#0#1#5^9^1)
(Arc$A41568#1792#0#0#0#0#0#0#20#0#1#9^3^1)
(Arc$A5320#1792#0#0#0#0#0#0#20#0#1#3^8^1)
(Arc$A61952#1792#0#0#0#0#0#0#20#0#1#9^7^1)
(Arc$A73456#1792#0#0#0#0#0#0#20#0#1#7^10^1)
(Arc$A83456#576#0#0#0#0#0#0#20#0#1#10^5^1)
(Arc$A90#0#0#0#0#0#0#0#20#0#1#10^11^1)
(Arc$A100#0#0#0#0#0#0#0#20#0#1#11^10^1)
(Arc$A112944#1632#0#0#0#0#0#0#20#0#1#7^13^1)
(Arc$A122432#1632#0#0#0#0#0#0#20#0#1#7^14^1)
(Arc$A132432#768#0#0#0#0#0#0#20#0#1#14^5^1)
(Arc$A142944#768#0#0#0#0#0#0#20#0#1#13^5^1)
(Arc$A150#0#0#0#0#0#0#0#20#0#1#13^11^1)
(Arc$A160#0#0#0#0#0#0#0#20#0#1#11^13^1)
(Arc$A170#0#0#0#0#0#0#0#20#0#1#14^11^1)
(Arc$A180#0#0#0#0#0#0#0#20#0#1#11^14^1)10##include <sys/types.h>
#include <sys/times.h>
#include <sys/timeb.h>
class NKvoid {
public:
friend istream & operator >>(istream & strm, NKvoid & t)
{return strm;}
friend ostream & operator << (ostream & strm, NKvoid t)
{return strm;}
};
class my_record{
public:
int count1;
int count2;
int count3;
friend istream & operator >>(istream & strm, my_record & t)
{
strm >> t.count1 >> t.count2 >> t.count3;
return strm;
}
friend ostream & operator << (ostream & strm, my_record t)
{
strm << t.count1 <<"\n"<< t.count2 << "\n"<< t.count3 <<"\n";
return strm;
}
};
TIMED_CLASS(NKvoid)
TIMED_CLASS(int)
TIMED_CLASS(my_record)
T0==0)